cbcf7418efcd2240d66086686dd32e69af5ef47b,source/de/anomic/plasma/plasmaWordIndex.java,plasmaWordIndex,flushControl,#,140

Before Change



    public void flushControl() {
        // check for forced flush
        ramCache.shiftK2W();
        while (ramCache.maxURLinWCache() > plasmaWordIndexCache.wCacheReferenceLimit) {
            flushCache(1);
        }

After Change



    public void flushControl() {
        // check for forced flush
        synchronized (this) { ramCache.shiftK2W(); }
        while (ramCache.maxURLinWCache() > plasmaWordIndexCache.wCacheReferenceLimit) {
            flushCache(1);
        }